منابع مشابه
On representable ordered residuated semigroups
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of substructural logics.
متن کاملLower Semilattice-Ordered Residuated Semigroups and Substructural Logics
We look at lower semilattice-ordered residuated semigroups and, in particular, the representable ones, i.e., those that are isomorphic to algebras of binary relations. We will evaluate expressions (terms, sequents, equations, quasi-equations) in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural l...
متن کاملMorita invariants for partially ordered semigroups with local units
We study Morita invariants for strongly Morita equivalent partially ordered semigroups with several types of local units. These include the greatest commutative images, satisfying a given inequality and the fact that strong Morita equivalence preserves various sublattices of the lattice of ideals.
متن کاملProbability Distributions on Partially Ordered Sets and Positive Semigroups
The algebraic structure ([0,∞), +, ≤), together with Lebesgue measure (and the usual topology), is the standard representation of time for a variety of probabilistic models. These include reliability theory and the aging of lifetime distributions, renewal processes, and Markov processes, to name just a few. The purpose of this monograph is to study probability models in which the standard repre...
متن کاملOn Morita equivalence of partially ordered semigroups with local units
We show that for two partially ordered semigroups S and T with common local units, there exists a unitary Morita context with surjective maps if and only if the categories of closed right Sand T posets are equivalent.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Korean Institute of Intelligent Systems
سال: 2007
ISSN: 1976-9172
DOI: 10.5391/jkiis.2007.17.7.981